Chain Reduction for Binary and Zero-Suppressed Decision Diagrams

Chain reduction enables reduced ordered binary decision diagrams (BDDs) and zero-suppressed binary decision diagrams (ZDDs) to each take advantage of the others' ability to symbolically represent Boolean functions in compact form. For any Boolean function, its chain-reduced ZDD (CZDD) representation will be no larger than its ZDD representation, and at most twice the size of its BDD representation. The chain-reduced BDD (CBDD) of a function will be no larger than its BDD representation, and at most three times the size of its CZDD representation. Extensions to the standard algorithms for operating on BDDs and ZDDs enable them to operate on the chain-reduced versions. Experimental evaluations on representative benchmarks for encoding word lists, solving combinatorial problems, and operating on digital circuits indicate that chain reduction can provide significant benefits in terms of both memory and execution time

Subsquares Approach - Simple Scheme for Solving Overdetermined Interval Linear Systems

In this work we present a new simple but efficient scheme - Subsquares approach - for development of algorithms for enclosing the solution set of overdetermined interval linear systems. We are going to show two algorithms based on this scheme and discuss their features. We start with a simple algorithm as a motivation, then we continue with a sequential algorithm. Both algorithms can be easily parallelized. The features of both algorithms will be discussed and numerically tested.Comment: submitted to PPAM 201

Visualized effect of oxidation on magnetic recording fidelity in pseudo-single-domain magnetite particles

Magnetite (​Fe3O4) is an important magnetic mineral to Earth scientists, as it carries the dominant magnetic signature in rocks, and the understanding of its magnetic recording fidelity provides a critical tool in the field of palaeomagnetism. However, reliable interpretation of the recording fidelity of ​Fe3O4 particles is greatly diminished over time by progressive oxidation to less magnetic iron oxides, such as maghemite (γ-Fe2O3), with consequent alteration of remanent magnetization potentially having important geological significance. Here we use the complementary techniques of environmental transmission electron microscopy and off-axis electron holography to induce and visualize the effects of oxidation on the magnetization of individual nanoscale ​Fe3O4 particles as they transform towards γ-Fe2O3. Magnetic induction maps demonstrate a change in both strength and direction of remanent magnetization within ​Fe3O4 particles in the size range dominant in rocks, confirming that oxidation can modify the original stored magnetic information

How a Diverse Research Ecosystem Has Generated New Rehabilitation Technologies: Review of NIDILRR’s Rehabilitation Engineering Research Centers

Over 50 million United States citizens (1 in 6 people in the US) have a developmental, acquired, or degenerative disability. The average US citizen can expect to live 20% of his or her life with a disability. Rehabilitation technologies play a major role in improving the quality of life for people with a disability, yet widespread and highly challenging needs remain. Within the US, a major effort aimed at the creation and evaluation of rehabilitation technology has been the Rehabilitation Engineering Research Centers (RERCs) sponsored by the National Institute on Disability, Independent Living, and Rehabilitation Research. As envisioned at their conception by a panel of the National Academy of Science in 1970, these centers were intended to take a “total approach to rehabilitation”, combining medicine, engineering, and related science, to improve the quality of life of individuals with a disability. Here, we review the scope, achievements, and ongoing projects of an unbiased sample of 19 currently active or recently terminated RERCs. Specifically, for each center, we briefly explain the needs it targets, summarize key historical advances, identify emerging innovations, and consider future directions. Our assessment from this review is that the RERC program indeed involves a multidisciplinary approach, with 36 professional fields involved, although 70% of research and development staff are in engineering fields, 23% in clinical fields, and only 7% in basic science fields; significantly, 11% of the professional staff have a disability related to their research. We observe that the RERC program has substantially diversified the scope of its work since the 1970’s, addressing more types of disabilities using more technologies, and, in particular, often now focusing on information technologies. RERC work also now often views users as integrated into an interdependent society through technologies that both people with and without disabilities co-use (such as the internet, wireless communication, and architecture). In addition, RERC research has evolved to view users as able at improving outcomes through learning, exercise, and plasticity (rather than being static), which can be optimally timed. We provide examples of rehabilitation technology innovation produced by the RERCs that illustrate this increasingly diversifying scope and evolving perspective. We conclude by discussing growth opportunities and possible future directions of the RERC program

Increased Hepatitis E Virus Seroprevalence Correlates with Lower CD4+Cell Counts in HIV-Infected Persons in Argentina

Hepatitis E virus (HEV) is a single-stranded RNA virus that can cause hepatitis in an epidemic fashion. HEV usually causes asymptomatic or limited acute infections in immunocompetent individuals, whereas in immunosuppressed individuals such as transplant recipients, HEV can cause chronic infections. The risks and outcomes of HEV co-infection in patients infected with human immunodeficiency virus (HIV) are poorly characterized. We used a third generation immunoassay to measure serum IgG antibodies specific for HEV in 204 HIV-infected individuals from Argentina and a control group of 433 HIV-negative individuals. We found 15 of 204 (7.3%, 95% CI 3.74-10.96%) individuals in the HIV-positive group to have positive HEV IgG levels suggestive of previous infection, compared to 19 of 433 (4.4%, 95% CI 2.5-6.3%) individuals in the HIV-negative control group (p = 0.12). Among HIV-positive individuals, those with HEV seropositivity had lower CD4 counts compared to those that were HEV seronegative (average CD4 count of 234 vs 422 mm(3), p = 0.01), indicating that patients with lower CD4 counts were more likely to be HEV IgG positive. Moreover, HEV seropositivity in patients with CD4 counts <200 mm(3) was 16%, compared to 4.5% in those with CD4 counts >200 mm(3) (p = 0.012). We found a positive PCR result for HEV in one individual. Our study found that increased seroprevalence of HEV IgG correlated with lower CD4 counts in HIV-infected patients in Argentina

Stellar atmosphere parameters with MAx, a MAssive compression of x^2 for spectral fitting

MAx is a new tool to estimate parameters from stellar spectra. It is based on the maximum likelihood method, with the likelihood compressed in a way that the information stored in the spectral fluxes is conserved. The compressed data are given by the size of the number of parameters, rather than by the number of flux points. The optimum speed-up reached by the compression is the ratio of the data set to the number of parameters. The method has been tested on a sample of low-resolution spectra from the Sloan Extension for Galactic Understanding and Exploration (SEGUE) survey for the estimate of metallicity, effective temperature and surface gravity, with accuracies of 0.24 dex, 130K and 0.5 dex, respectively. Our stellar parameters and those recovered by the SEGUE Stellar Parameter Pipeline agree reasonably well. A small sample of high-resolution VLT-UVES spectra were also used to test the method and the results have been compared to a more classical approach. The speed and multi-resolution capability of MAx combined with its performance compared with other methods indicates that it will be a useful tool for the analysis of upcoming spectral surveys.Comment: 17 pages, 10 figures, minor changes after the chief language editor. A&A, in pres

An update on the human and animal enteric pathogen Clostridium perfringens

Clostridium perfringens, a rapid-growing pathogen known to secrete an arsenal of >20 virulent toxins, has been associated with intestinal diseases in both animals and humans throughout the past century. Recent advances in genomic analysis and experimental systems make it timely to re-visit this clinically and veterinary important pathogen. This Review will summarise our understanding of the genomics and virulence-linked factors, including antimicrobial potentials and secreted toxins of this gut pathogen, and then its up-to-date clinical epidemiology and biological role in the pathogenesis of several important human and animal-associated intestinal diseases, including pre-term necrotising enterocolitis. Finally, we highlight some of the important unresolved questions in relation to C. perfringens-mediated infections, and implications for future research directions

Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq

International audienceThe verification of floating-point mathematical libraries requires computing numerical bounds on approximation errors. Due to the tightness of these bounds and the peculiar structure of approximation errors, such a verification is out of the reach of generic tools such as computer algebra systems. In fact, the inherent difficulty of computing such bounds often mandates a formal proof of them. In this paper, we present a tactic for the Coq proof assistant that is designed to automatically and formally prove bounds on univariate expressions. It is based on a formalization of floating-point and interval arithmetic, associated with an on-the-fly computation of Taylor expansions. All the computations are performed inside Coq's logic, in a reflexive setting. This paper also compares our tactic with various existing tools on a large set of examples

Evaluating the feasibility of a web-based weight loss programme for naval service personnel with excess body weight.

Overweight and obesity are a major concern that may influence the operational capacity of the UK Naval Service (NS). This study was conducted to evaluate the feasibility of trialling and implementing a modified web-based weight loss programme for overweight and obese NS personnel.Royal Navy; University of Southampto